Core Checkers
Model core language features and perform general-purpose checks such as division by zero, null pointer dereference, usage of uninitialized values, etc. These checkers must always be switched on as other checkers rely on them.